The Free On-line Dictionary of Computing (30 December 2018):

safety-critical system

   A computer, electronic or electromechanical system whose
   failure may cause injury or death to human beings.  E.g. an
   aircraft or nuclear power station control system.  Common
   tools used in the design of safety-critical systems are
   redundancy and formal methods.

   See also aeroplane rule.